41. Combinatorics on Words
پدیدآورنده : \ Florin Manea, Dirk Nowotka (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Discrete Mathematics in Computer Science,Combinatorial analysis -- Congresses,ریاضیات گسسته در علوم کامپیوتر,آنالیز ترکیبی -- کنگرهها
رده :
QA
164
.
W6C6
2015
E-Book
,
42. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
43. Computer Algebra in Scientific Computing
پدیدآورنده : \ [edited by] Vladimir P. Gerdt...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Algorithms,کامپیوتر,الگوریتمها,a04,a05,a04,a05,Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
76
.
9
.
M35C6
2015
E-Book
,
44. Computer mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ; Computer science ; Congresses. ;
45. Computer mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ; Mathematics ; Data processing ; Congresses. ;
46. Computer mathematics: proceedings of the Special Program at Nankai Institute of Mathematics, Tianjin, China, January-June 1991
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Mathematics-- Data processing,Congresses ، Computer science-- Mathematics
رده :
QA
76
.
95
.
C637
1993
47. Computer mathematics : proceedings of the fifth Asian Symposium )ASCM 2001(, Matsuyama, Japan, 26-28 September 2001
پدیدآورنده : Asian Symposium on Computer Mathematics )5th : 1002 : Matsuyama, Japan(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Computer science - Mathematics - Congresses
رده :
QA
76
.
9
.
M35
A83
2001
48. Constructivity in computer science
پدیدآورنده : J.P. Myers, Jr., M.J. O'Donnell, eds.
موضوع : Computer science -- Mathematics -- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
49. Constructivity in computer science : Summer Symposium: San Antonio, TX, June 19-22, 1991: proceedings
پدیدآورنده : J.P. Myers, Jr., M.J. O'Donnell, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
613
50. Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings
پدیدآورنده :
موضوع : ، Computer science-- Mathematics-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
51. Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings
پدیدآورنده : J.P. Myers, Jr., M.J. O'Donnell, eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
613
52. Contemporary trends in discrete mathematics : from DIMACS and DIMATIA to the future : DIMATIA-DIMACS conference, May 19-25, 1997, Stirin Castle, Czech Republic
پدیدآورنده : Ronald L. Graham, editors...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Graph theory,Congresses ، Combinatorial analysis,Congresses ، Computer science -- Mathematics
رده :
QA
166
.
D55
1997
53. Discrete mathematical problems with medical applications
پدیدآورنده : / Ding-Zhu Du, Panos M. Pardalos, Jie Wang, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Medicine- Mathematics- Congresses,Computer science- Mathematics- Congresses,Biomathematics- Congresses,Mathematics- Congresses
رده :
R853
.
M3
,.
D56
1999
54. Discrete mathematical problems with medical applications: DIMACS Workshop Discrete Mathematical Problems with Medical Applications, December 8-10, 1999, DIMACS Center
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Medicine-- Mathematics,Congresses ، Computer science-- Mathematics,Congresses ، Biomathematics,Congresses ، Mathematics
رده :
R
853
.
M3
.
D56
1999
55. Discrete mathematical problems with medical applications : DIMACS Workshop Discrete Mathematical Problems with Medical Applications, December 8-10, 1999, DIMACS Center
پدیدآورنده : Ding-Zhu Du, Panos M. Pardalos, Jie Wang, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Medicine -- Mathematics,Congresses ، Computer science -- Mathematics,Congresses ، Biomathematics,Congresses ، Mathematics
رده :
R
853
.
M3D5
1999
56. Discrete mathematics and its applications
پدیدآورنده : editor, M. Sethumadhavan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Mathematics,Congresses ، Computer science -- Mathematics
رده :
QA
1
.
I528
2004
57. Discrete methods in epidemiology
پدیدآورنده : James Abello, Graham Cormode, editors; Center for Discrete Mathematics and Theoretical Computer Science...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Epidemiology,Mathematics -- Congresses ، Epidemiology,Congresses ، Computer science
رده :
RA
651
.
D58
2004
58. Discrete structural optimization: IUTAM Symposium, Zakopane, Poland, August 31-Septmber 3, 1993
پدیدآورنده : W. Gutkowski, J. Bauer ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing - Congresses ، Structural optomization,Mathematics - Congresses ، Computer science
رده :
TA
658
.
8
.
I96
1993
59. Expert systems for scientific computing
پدیدآورنده : / edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع : Mathematics--Data processing--Congresses,Numerical analysis--Data processing--Congresses,Expert systems (Computer science)--Congresses,Software--Congresses
رده :
QA76
.
95
.
I48
1990
60. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2805